Basic Forms and Orbit Spaces: a Diffeological Approach
نویسنده
چکیده
If a Lie group acts on a manifold freely and properly, pulling back by the quotient map gives an isomorphism between the differential forms on the quotient manifold and the basic differential forms upstairs. We show that this result remains true for actions that are not necessarily free nor proper, as long as the identity component acts properly, where on the quotient space we take differential forms in the diffeological sense.
منابع مشابه
A Tangent Bundle on Diffeological Spaces
We define a subcategory of the category of diffeological spaces, which contains smooth manifolds, the diffeomorphism subgroups and its coadjoint orbits. In these spaces we construct a tangent bundle, vector fields and a de Rham cohomology.
متن کاملDiffeological differential geometry
The main objective for this thesis is the construction of a tensor bundle on a diffeological space X. Thereby getting access to the exterior bundle of antisymmetric tensors on X, and smooth sections here on i.e. differential forms. We shall list certain requirements that any reasonable tensor bundle on a diffeological space should fulfil. And show that the given construction fulfil these requir...
متن کاملThe homotopy theory of diffeological spaces
Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce the smooth singular simplicial set S(X) associated to a diffeological space X, and show that when S(X) is fibrant, it captures smooth homotopical properties...
متن کاملSome aspects of cosheaves on diffeological spaces
We define a notion of cosheaves on diffeological spaces by cosheaves on the site of plots. This provides a framework to describe diffeological objects such as internal tangent bundles, the Poincar'{e} groupoids, and furthermore, homology theories such as cubic homology in diffeology by the language of cosheaves. We show that every cosheaf on a diffeological space induces a cosheaf in terms of t...
متن کاملThe Fermat Functors
In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite-dimensional spaces), and the other deleting infinitesimals on Fermat spaces. We study the properties of these functors, and calculate some examples. These serve as fundamentals for d...
متن کامل